#include <stdio.h>
int main(int argc, char *argv[])
{
    int a = 0x12345678;
    scanf("%d",a);
    printf("a = %d\n", a);
    return 0;
}

